COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%business letter outline to use with buslet.tex macros
C00005 ENDMK
C⊗;
%business letter outline to use with buslet.tex macros
\magnification =\magstephalf
\input buslet[1,ra]

\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}


\jmclet

\vskip 30pt
           
\address 

Gakushin
Nihon Gakujyutu Shinkokai




\body
Dear Sirs:

	I hereby extend an official invitation to Susumu Hayashi of Kyoto
University, to visit the Stanford University Department of Computer Science from
February 1, 1988 to March 31, 1988. Susumu Hayashi will be doing research on Type 
Theory in Programming Languages. Financial Support will be provided by Stanford
University using the NSF grant INT-8412680 for basic research in Artificial 
Intelligence. Covered expenses include round trip 
air-fare between Edinburgh and Stanford, and living expenses while at
Stanford University.

\closing
Sincerely,       

John McCarthy    





\annotations
\vskip 1in
JMC/smc
%\smallskip
%Enclosure
%\smallskip
%cc: Matthew Kahn
%\smallskip
%\ps
%P.S.: whatever you wish to say here

\endletter

\makelabel
\end